Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
921	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
922	Advising students interested in Computers and Programming Both classes have no pre-reqs and assume no prior knowledge of programming. Any student may take them. CSCI 1101 Introduction to Computer Science Add to Reading List Source URL: www.bowdoindailysun.com Language: English - Date: 2015-04-10 09:00:32 Theoretical computer science Computer science Applied mathematics Mathematics Algorithm Mathematical logic
923	UNDERSTANDING ‘THEORY OF CHANGE’ IN INTERNATIONAL DEVELOPMENT DEVELOPMENT: A REVIEW OF EXISTING KNOWLEDGE DANIELLE STEIN Add to Reading List Source URL: r4d.dfid.gov.uk Language: English - Date: 2012-09-25 12:01:28 Sociology Toc H Credibility Impact evaluation Logic model International development Organizational behavior International relations theory Attitude Evaluation Evaluation methods Science
924	Good Writing in Political Science: An Undergraduate Student’s Short Illustrated Primer V.1.01 Henry Farrell Department of Political Science, The George Washington University http://www.henryfarrell.net Add to Reading List Source URL: www.henryfarrell.net Language: English - Date: 2010-02-19 22:50:49 Cognition Essay Paragraph Lead paragraph Sentence Logic ACT Five paragraph essay Reading Like a Writer Writing Language Linguistics
925	University of Edinburgh Division of Informatics Cricket visual homing Undergraduate Dissertation Cognitive Science Add to Reading List Source URL: v21.io Language: English - Date: 2012-09-05 19:41:21 Mathematical logic Theoretical computer science Cricket Gradient descent Applied mathematics Mathematics Algorithm
926	HumanitiesHumanities Each General Education category is grounded in a set of learning outcomes. For the full set of learning outcomes for Humanities courses see: www.gened.umd.edu This rubric is designed as a tool to as Add to Reading List Source URL: www.gened.umd.edu Language: English - Date: 2015-05-18 17:12:42 Critical thinking Rhetoric Logic Academia Thesis Argumentation theory Humanities Knowledge Education Science
927	Models, Method and Truth: How to be an Internalist With Realist Attitudes by Sherwin Gale Arnott B.A., University of Calgary, 1997 A Thesis Submitted in Partial Fulfillment of the Add to Reading List Source URL: www.sherwinarnott.org Language: English - Date: 2009-09-14 23:26:33 Analytic philosophy Branches of philosophy Philosophy of science Truth Correspondence theory of truth Alfred Tarski Logic Epistemology Analytic–synthetic distinction Philosophy Theories of truth Philosophical logic
928	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science
929	Difference, Cognition, and Mathematics Education* VALERIE WALKERDINE An invited talk given to the International Group for the Psychology of Mathematics Education Mexico City, July 1990 Add to Reading List Source URL: flm-journal.org Language: English* - Date: 2014-05-15 16:16:03 Mathematics education Philosophy of mathematics Reason Logic Education Mathematical analysis Mathematician Mathematical proof Ethnomathematics Knowledge Mathematics Science
930	Using Parallel Data to Improve Part-of-speech Tagging of 17th Century Dutch Dieuwke Hupkes Ins tute for Logic, Language and Computa on, University of Amsterdam Rens Bod Add to Reading List Source URL: dhbenelux.org Language: English - Date: 2015-04-09 11:28:47 Word-sense disambiguation Science Computational linguistics Applied linguistics Linguistics Corpus linguistics Part-of-speech tagging

UPDATE